#!/bin/bash

cat ../doc/README.labels.txt | sed "h;s/: /:/;y/ABCDEFGHIJKLMNOPQRSTUVWXYZ \//abcdefghijklmnopqrstuvwxyz--/;s/[')(]//g;G;s/\n/ /;s/--*/-/;s/ .*: / /"
